Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
251	Linear Programming and Unique Sink Orientations Bernd G¨artner∗ Institute of Theoretical Computer Science ETH Z¨ urich 8092 Z¨ Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2016-06-20 11:55:10 Mathematical optimization Mathematical analysis Convex optimization Operations research Linear programming Limit of a function Nonlinear programming Expected value Weak duality Duality Semidefinite programming
252	Microsoft Word - IBSdoc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:44:10 Theoretical computer science Mathematical logic Mathematics Logic in computer science NP-complete problems Boolean algebra Electronic design automation Algebraic logic Tseytin transformation Boolean satisfiability problem Conjunctive normal form Canonical normal form
253	Synchronous Counting and Computational Algorithm Design Danny Dolev School of Engineering and Computer Science, The Hebrew University of Jerusalem Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-09-16 05:51:42 Computing Edsger W. Dijkstra Mathematics Computational complexity theory Theoretical computer science Distributed computing Consensus Algorithm Randomized algorithm Distributed algorithm Counter Leader election
254	Summary of Implementation Schemes for Quantum Key Distribution and Quantum Cryptography Add to Reading List Source URL: qist.lanl.gov Language: English - Date: 2004-07-27 17:15:17 Quantum information science Quantum mechanics Physics Theoretical computer science Quantum cryptography Quantum computing Cryptography Quantum key distribution Quantum entanglement Quantum teleportation Qubit Photon
255	A Sufficient Condition for Polynomial Distribution-Dependent Learnability Martin Anthony Department of Mathematics London School of Economics Houghton Street Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2000-04-03 14:26:58 Computational learning theory Machine learning Learning Theoretical computer science Cognition Probably approximately correct learning Sample complexity VC dimension Mode Occam learning Error Tolerance
256	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-11-20 04:18:58 Mathematics Affine geometry Numerical analysis Software Theoretical computer science Abstract interpretation Fluctuat Affine arithmetic Affine space Integral Rounding Matrix
257	Solving Satisfiability Problems with Qualitative Preferences: a New Approach Emanuele Di Rosa, Enrico Giunchiglia, and Marco Maratea DIST - Universit`a di Genova, Italy. email:{emanuele,enrico,marco}@dist.unige.it Abstra Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:05:58 Theoretical computer science Logic in computer science Mathematics Maximum satisfiability problem Boolean satisfiability problem DPLL algorithm
258	WWW 2010 • Full Paper April 26-30 • Raleigh • NC • USA LCA-based Selection for XML Document Collections Georgia Koloniari Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2012-09-27 08:47:14 Information science Information retrieval Computing Query languages Theoretical computer science Lowest common ancestor Nearest neighbor search Bloom filter Search engine indexing XQuery XPath Bayesian network
259	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
260	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function

UPDATE